Search results for "Lattice problem"

From Lattice Valued Theories to Lattice Valued Analysis

2015

We claim and justify that the future of a fuzzy logic is in the interconnection of various well-developed theories. We are focused on a lattice valued analysis that unifies the treatments of atomic elements, sets of atomic elements, functions between sets of atomic elements and their properties. We clarify the relationship between a fuzzy function and its ordinary core. We discuss the property of continuity of a fuzzy function in a lattice valued topology.

The completely distributive lattice of machine invariant sets of infnite words

2007

Posets That Locally Resemble Distributive Lattices

2000

Abstract Let P be a graded poset with 0 and 1 and rank at least 3. Assume that every rank 3 interval is a distributive lattice and that, for every interval of rank at least 4, the interval minus its endpoints is connected. It is shown that P is a distributive lattice, thus resolving an issue raised by Stanley. Similar theorems are proven for semimodular, modular, and complemented modular lattices. As a corollary, a theorem of Stanley for Boolean lattices is obtained, as well as a theorem of Grabiner (conjectured by Stanley) for products of chains. Applications to incidence geometry and connections with the theory of buildings are discussed.

The Tensor Networks Anthology: Simulation techniques for many-body quantum lattice systems

2019

We present a compendium of numerical simulation techniques, based on tensor network methods, aiming to address problems of many-body quantum mechanics on a classical computer. The core setting of this anthology are lattice problems in low spatial dimension at finite size, a physical scenario where tensor network methods, both Density Matrix Renormalization Group and beyond, have long proven to be winning strategies. Here we explore in detail the numerical frameworks and methods employed to deal with low-dimension physical setups, from a computational physics perspective. We focus on symmetries and closed-system simulations in arbitrary boundary conditions, while discussing the numerical dat…